<html>
<head><meta charset="utf-8"><title>handling `Rvalue::Ref` · t-compiler/wg-mir-opt · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/index.html">t-compiler/wg-mir-opt</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html">handling `Rvalue::Ref`</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="166991823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166991823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166991823">(May 31 2019 at 12:20)</a>:</h4>
<p>I'm trying to add support for const propagating <code>Rvalue::Ref</code>s but I'm struggling to write a test case that doesn't involve handling <code>Indirects</code> as they aren't supported yet. As a simple example:</p>
<div class="codehilite"><pre><span></span><span class="k">fn</span> <span class="nf">main</span><span class="p">()</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="o">*</span><span class="p">(</span><span class="o">&amp;</span><span class="mi">1</span><span class="p">);</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</pre></div>


<p><code>&amp;1</code> is promoted to a static which transforms the line into <code>*(&amp;promoted[0])</code> where <code>promoted[0]</code> is an <code>Indirect</code> which points to the static.</p>
<p>Is there a kind of value I can use which can't/wont' be promoted to a static?</p>



<a name="166991944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166991944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166991944">(May 31 2019 at 12:22)</a>:</h4>
<p>The question is whether there is anything that won't get promoted that we can const prop ;)</p>



<a name="166991959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166991959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166991959">(May 31 2019 at 12:22)</a>:</h4>
<p>like... unions field accesses aren't promoted, but we should probably not const prop them either</p>



<a name="166991967"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166991967" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166991967">(May 31 2019 at 12:22)</a>:</h4>
<p>Heh that's true</p>



<a name="166991984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166991984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166991984">(May 31 2019 at 12:23)</a>:</h4>
<p>function calls I guess?</p>



<a name="166991992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166991992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166991992">(May 31 2019 at 12:23)</a>:</h4>
<p>but that would require implementing function calls first :P</p>



<a name="166992003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992003">(May 31 2019 at 12:23)</a>:</h4>
<p>as in inlining?</p>



<a name="166992004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992004">(May 31 2019 at 12:23)</a>:</h4>
<p>or .... maybe... let me try sth</p>



<a name="166992079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992079">(May 31 2019 at 12:24)</a>:</h4>
<p>no, not inlining, just having <code>let x = some_const_fn(42);</code> compute the result of <code>some_const_fn(42);</code> and put that directly into <code>x</code> instead of leaving the function call to llvm</p>



<a name="166992200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992200">(May 31 2019 at 12:26)</a>:</h4>
<p>I tried something like:</p>
<div class="codehilite"><pre><span></span><span class="k">fn</span> <span class="nf">test</span><span class="o">&lt;</span><span class="na">&#39;a</span><span class="o">&gt;</span><span class="p">(</span><span class="n">_</span>: <span class="kp">&amp;</span><span class="na">&#39;a</span><span class="w"> </span><span class="p">())</span><span class="w"> </span>-&gt; <span class="kp">&amp;</span><span class="na">&#39;a</span><span class="w"> </span><span class="kt">u32</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="o">&amp;</span><span class="mi">1</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</pre></div>


<p>but promotion still happens</p>



<a name="166992315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992315">(May 31 2019 at 12:28)</a>:</h4>
<p>no I mean <code>fn test() -&gt; u32 { 1 }</code> and then having <code>let x = *&amp;test();</code></p>



<a name="166992318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992318">(May 31 2019 at 12:28)</a>:</h4>
<p>Which makes sense because <code>'static &gt;= 'a forall 'a</code></p>



<a name="166992322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992322">(May 31 2019 at 12:28)</a>:</h4>
<p>So... slightly stupic idea: <a href="https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=6d3a2431a59f57a9aa068e01400b5402" target="_blank" title="https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=6d3a2431a59f57a9aa068e01400b5402">https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=6d3a2431a59f57a9aa068e01400b5402</a></p>



<a name="166992330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992330">(May 31 2019 at 12:28)</a>:</h4>
<p>not sure if that acutally survives const prop</p>



<a name="166992372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992372">(May 31 2019 at 12:29)</a>:</h4>
<p>Like we should be able to const prop the dereferencing of ZST references and raw pointers</p>



<a name="166992387"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992387" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992387">(May 31 2019 at 12:29)</a>:</h4>
<p>for that matter... why on earth is dereferencing ZST raw pointers unsafe?</p>



<a name="166992389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992389">(May 31 2019 at 12:29)</a>:</h4>
<p>oh</p>



<a name="166992393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992393">(May 31 2019 at 12:29)</a>:</h4>
<p>they may have private fields</p>



<a name="166992402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992402">(May 31 2019 at 12:29)</a>:</h4>
<p>Doesn't that just fall out of deref of raw pointers being unsafe?</p>



<a name="166992473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992473">(May 31 2019 at 12:30)</a>:</h4>
<p>Looks like the compiler errors out on that before we get to running the <code>ConstProp</code> pass</p>



<a name="166992479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992479">(May 31 2019 at 12:30)</a>:</h4>
<p>yea</p>



<a name="166992495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992495">(May 31 2019 at 12:30)</a>:</h4>
<p>but if you change the <code>&amp;'static</code> to just <code>&amp;</code>, then it doesn't error out ;)</p>



<a name="166992505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992505">(May 31 2019 at 12:30)</a>:</h4>
<p>The last pass I see running is <code>QualifyAndPromoteConstants</code></p>



<a name="166992518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992518">(May 31 2019 at 12:31)</a>:</h4>
<p>that was just for demonstrating that promotion doesn't run on it</p>



<a name="166992541"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992541" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992541">(May 31 2019 at 12:31)</a>:</h4>
<p><a href="https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=dedbbd59d4cea4532e38e573dd437fee" target="_blank" title="https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=dedbbd59d4cea4532e38e573dd437fee">https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=dedbbd59d4cea4532e38e573dd437fee</a></p>



<a name="166992544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992544">(May 31 2019 at 12:31)</a>:</h4>
<p><span class="user-mention" data-user-id="125250">@Wesley Wiser</span> this is a compiling example</p>



<a name="166992547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992547">(May 31 2019 at 12:31)</a>:</h4>
<p>that will never ever get promoted</p>



<a name="166992905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992905">(May 31 2019 at 12:37)</a>:</h4>
<p>Oh</p>



<a name="166992928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992928">(May 31 2019 at 12:37)</a>:</h4>
<p>It looks like <code>&amp;A</code> gets promoted which introduces an <code>Indirect</code> which prevents const propagation right now</p>



<a name="166992991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166992991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166992991">(May 31 2019 at 12:38)</a>:</h4>
<p>I think the answer here is "wait until we can handle indirects" <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="166993291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166993291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166993291">(May 31 2019 at 12:43)</a>:</h4>
<p>argml</p>



<a name="166995058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166995058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166995058">(May 31 2019 at 13:08)</a>:</h4>
<p>What's that?</p>



<a name="166996216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/handling%20%60Rvalue%3A%3ARef%60/near/166996216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/handling.20.60Rvalue.3A.3ARef.60.html#166996216">(May 31 2019 at 13:23)</a>:</h4>
<p>an expression of grumbling :D</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>